logical proof - Alemán Inglés Diccionario